ordered set
英 [ˈɔːdəd set]
美 [ˈɔːrdərd set]
有序集
双语例句
- A white box sequence diagram depicting collaborations among the elements relevant to each viewpoint is developed using the same ordered set of messages.
利用同样的有序消息集可以开发描述与每个观点相关的要素之间协作的白盒序列图。 - This collaboration is represented as an ordered set of messages, or operation invocations, on these elements within the system.
这种协作表现为对系统中这些要素的消息或操作调用的有序集合。 - An index is a DB2 object ( a separate VSAM dataset) that is comprised of an ordered set of keys extracted from one or more columns of the corresponding table.
索引也是一种DB2对象（一个单独的VSAM数据集），它由一组排好序的键组成，这些键是从相应表中的一个列或多个列抽取出来的。 - There is no agreed and ordered set of work steps, allocation of skills, definition of interim results, or metrics for production to guide the work of the staff.
没有指导员工工作的约定且订购的工作步骤集、技术分配、中间结果定义，或生产量度。 - An index is an ordered set of pointers to rows in a base table.
索引是一个指向基础表的有序指针集。 - A quantity usually characterized by an ordered set of scalars.
通常由标量的一组有序集合表示的量。 - Reachability testing is a general approach to testing concurrent programs via generating the minimal complete partial ordered set of test sequences.
可达性测试是目前较为成熟的一种并发程序测试方法，该方法解决了如何生成最小完备偏序测试序列集的问题。 - An ordered set of all the letters used in a language, including letters with diacritical signs where appropriate, but not including punctuation marks.
某种语言所使用的全部字母的有序集合，它包括带有发音符号的字母，但不包括标点符号。 - Graphics primitives, such as points, lines, and triangles, are defined as an ordered set of vertices.
基本图形，如点，线，和三角形，被定义为一个有序的顶点集合。 - In this paper, a general inductive principle for any ordered set is proved, and the mathematical induction, the transfinite induction and the continual induction are then deduced.
证明了一个适用于任意有序集的一般归纳原理，以此为基础导出了数学归纳法、超限归纳法和连续归纳法，从而揭示出三种归纳法的共同基础。 - In this paper, we proved that the definition of a semilattice as a universal algebra and the definition of a semilattice as a partial ordered set are equivalent.
本文中，我们证明了作为泛代数的半格的定义与作为偏序集的半格的定义是等价的。 - A semilattice can be defined as a universal algebra, and it can also be defined as a partial ordered set.
一个半格可以定义为一个泛代数，也可以定义为一个偏序集。 - We each ordered set meal that consisted a cup of coke.
套餐里每人一杯加冰的可乐。 - A sequentially ordered set of things or events or ideas in which each successive member is related to the preceding.
任何前后两个部分都相关的一系列事物或想法。 - For example, Zorn's Lemma states: "a partially ordered set in which every chain has an upper bound contains a maximal element."
例如佐恩引理所述：“在任何一个偏序集中，如何任何链（译注：即有序子集）都有上界，那么这个偏序集必然存在一个最大元素。” - Some characterizes of a kind of Implication Algebra on a partial ordered set are gained by the use of MP-filter and fuzzy filter.
并利用MP-滤子和Fuzzy滤子，刻画了一类偏序集上蕴涵代数的结构。 - Isomorphism Problem of Partial Ordered Set Algebras
偏序集代数的同构问题 - In this paper, the conception of the standard well ordered set is introduced and ten theorems of the standard well ordered set has been proved.
本文引进标准良序集概念并且证明了标准良序集的十个定理。 - Last, a necessary and sufficient condition of a partial ordered set I to be a lattice is given by the algebra properties of KI.
最后，用偏序集代数KI的代数性质，给出偏序集I是格的充分必要条件。 - By means of logic symmetric relation, single neighbouring logic path for N dimension Boolean ordered set is solved.
本文提出一种用逻辑对称轴的关系，解决N维布尔序集唯一相邻的逻辑路径问题。 - Software process is a partially ordered set of activities undertaken to manage, develop and maintain software systems.
软件过程是管理、开发、维护软件系统所需要的一系列活动的偏序集合。 - There are a variety of known ways in which a partially ordered set P may be given a convergence.
在一个半序集中可以定义网的各种序收敛，本文讨论一个半序集P及其分割完备化？ - In recent years, as order and partial ordered set theory were widely applied in the combinatorics, Fuzzy mathematics, computer science, and even in the social science, the lattice theory has became an important branch of mathematics. Since F.
近年来，由于序与偏序集理论在组合数学、Fuzzy数学、计算机科学、甚至社会科学中得到了广泛的应用，因而使格论有了较大的发展，逐渐成为现代数学的重要分支之一。 - The Ordered Set and the Ordered Ring
有序集与有序环 - The model is based on a collection of a divisional terrain data defined as simplicial complexes arranged into a partially ordered set by time and space.
模型把子区域地形几何数据定义为单纯复合形集，按地形变化时间顺序和空间关系组织成一个偏序集。 - In this paper, the completeness of no endpoint dense ordered set is proved by Robinson method. And the sufficient conditions are given to prove the completeness of a theory from Robinson method.
文章利用Robinson判别法证明无端点稠密有序集是完全理论，并由Robinson判别法得到了一个理论是完全理论的充分条件。 - On removable pairs in ordered set about dimension problem
关于序集维度问题的可去点对 - Filter and generating filter of implication algebra on partial ordered set are defined, and structure of generating filter is obtained.
定义了偏序集上蕴涵代数的滤子及生成滤子，给出了生成滤子的结构。 - The time series is an ordered set of sequence chronological order.
时间序列是指按时间顺序排列的一组有序序列。 - The properties of implication algebra on partial ordered set and associated implication algebra are deeper discussed, several sufficient and necessary conditions, by which implication algebra becomes associated implication algebra, are obtained.
进一步挖掘偏序集上蕴涵代数与关联蕴涵代数的性质，得到了蕴涵代数成为关联蕴涵代数的几个充分必要条件。